Behavioural Mapping for Service Substitutability
نویسنده
چکیده
Service substitutability is now a challenge in the area of objectoriented systems. This is due to the restriction of the underlying type systems that recognise only syntactic compatibility which is based on the supported subtyping rules. This paper presents an idea to add behavioural mapping for flexible substitutability of services to a distributed object system. The complete implementation applies the idea to provide substitutability between versions of a service in which evolution of the service results in arbitrary change in the service interface, i.e. change which is not necessarily limited to the form of subtypes. The mechanism is done by a mediator object which is capable of transforming the behaviour of the service into the form expected by its clients by using some user-defined mapping functions. Such behavioural mapping can also be used to improve service selection.
منابع مشابه
Contextualization of Behavioral Substitutability and Refinement for Role Components in MAS
In this paper we focus on a new approach for the definition of context-based behavioural substitutability and refinement of roles in MAS, and provide a formal framework for modeling roles together with their composition. First, we introduce two flexible roles compatibility relations depending on the context of use (environment). The proposed compatibility relations take into account the propert...
متن کاملOn Usability and Behavioural Substitutability of Component Protocols
In this paper, we define the notion of usability – a soundness criterion for component protocols. Based on this notion, we present a new approach for the definition of component protocols compatibility, and we provide a framework for modeling usable component protocols together with their composition. This framework is discussed in terms of compatibility and substitutability checks of protocols...
متن کاملStructural and behavioural compatibility of graphical service specifications
The ability of applications to dynamically discover required services is a key motivation for Web Services. However, this aspect is not entirely supported by current Web Services standards. It is our objective to develop a formal approach, allowing the automation of the discovery process. The approach is based on the matching of interface specifications of the required and provided services. In...
متن کاملChoreographies and Behavioural Contracts on the Way to Dynamic Updates
We survey our work on choreographies and behavioural contracts in multiparty interactions. In particular theories of behavioural contracts are presented which enable reasoning about correct service composition (contract compliance) and service substitutability (contract refinement preorder) under different assumptions concerning service communication: synchronous address or name based communica...
متن کاملService substitution: a behavioral approach based on Petri nets
Service Substitution A Behavioral Approach Based on Petri Nets Service-Oriented Computing is an emerging computing paradigm that supports the modular design of (software) systems. Complex systems are designed by composing less complex systems, called services. Such a (complex) system is a distributed application often involving several cooperating enterprises. As a system usually changes over t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999